is pi a normal number